((v1 v2 8) (v1 v3 7) (v1 v4 3) (v1 v5 3) (v1 v6 6) (v1 v7 6) (v1 v8 6) (v1 v9 7) (v1 v10 6) (v1 v11 4) (v1 v12 9))
107
((v4 v2) (v4 v1) (v10 v6) (v5 v2) (v5 v7) (v8 v5))